Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
901	Proceedings (preliminary version) 10th International Workshop on Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-03-24 09:06:18 Algebra Functional programming Adjoint functors Universal algebra Monad Model theory F-coalgebra Structure F-algebra Abstract algebra Mathematics Category theory
902 $Field theory / Splitting field / Fundamental theorem of algebra / Ordered field / Field / Fundamental theorem of Galois theory / Real closed field / Factorization of polynomials over a finite field and irreducibility tests / Partial fraction / Abstract algebra / Algebra / Mathematics$	Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is Add to Reading List Source URL: euclid.colorado.edu Language: English - Date: 2013-04-05 17:28:46 Field theory Splitting field Fundamental theorem of algebra Ordered field Field Fundamental theorem of Galois theory Real closed field Factorization of polynomials over a finite field and irreducibility tests Partial fraction Abstract algebra Algebra Mathematics
903	Higher-Order Functional Reactive Programming without Spacetime Leaks Neelakantan R. Krishnaswami Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-18 05:12:55 Metalogic Model theory Structure Parity of a permutation Permutation Orbifold Spinor Mathematics Algebra Abstract algebra
904	fea-pillay.qxp[removed] Add to Reading List Source URL: www.ams.org Language: English - Date: 2000-11-14 11:13:29 Mathematics Strongly minimal theory Interpretation Structure Morley rank Definable set Real closed field Differentially closed field Type Model theory Mathematical logic Abstract algebra
905	Model Theory and Exponentiation Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:14:53 Model theory Real algebraic geometry O-minimal theory Tarski–Seidenberg theorem Pfaffian function Real closed field Definable set Semialgebraic set Quantifier elimination Abstract algebra Mathematics Mathematical logic
906	Everything can be Agent! (Extended Abstract) Yoann Kubera Add to Reading List Source URL: www.lifl.fr Language: English - Date: 2013-06-27 20:25:09 Artificial intelligence Multi-agent systems Agent-based model Complex systems theory NetLogo Computer simulation Simulation EXPRESS Scientific modeling Science Computing
907	A SHORT COURSE ON ∞-CATEGORIES MORITZ GROTH Abstract. These are notes on the theory of ∞-categories building on a series of talks given by Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-07-16 14:04:30 Homotopy theory Algebra Nerve Simplicial set Quasi-category Model category Functor Higher category theory Dual Category theory Abstract algebra Mathematics
908	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science
909	TYPE THEORY AND HOMOTOPY STEVE AWODEY Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-13 15:36:04 Mathematics Model category Groupoid Homotopy Weak equivalence Fundamental group Simplicial set Fibration Algebraic topology Homotopy theory Topology Abstract algebra
910	PDF Document Add to Reading List Source URL: wstein.org Language: English - Date: 2003-10-20 11:35:43 Algebraic geometry Homological algebra Number theory Algebraic number theory Abelian variety Étale morphism Étale cohomology Néron model Algebraic number field Abstract algebra Algebra Niels Henrik Abel

UPDATE